GitHub boosts developer productivity with new mobile notification controls

GitHub has added a bunch of new updates to its mobile and desktop apps, including "enhanced" push notifications with granular controls.